On #P-completeness of Some Counting Problems
نویسنده
چکیده
We prove that the counting problems #1-in-3Sat, #Not-All-Equal 3Sat and #3-Colorability, whose decision counterparts have been the most frequently used in proving NP-hardness of new decision problems, are #P-complete. On one hand, the explicit #P-completeness proof of #1-in-3Sat could be useful to prove complexity results within uniication theory. On the other hand, the fact that #3-Colorability is #P-complete allows us to deduce immediately that the enumerative versions of a large class of NP-complete problems are #P-complete. Moreover, our proofs shed some new light on the interest of exhibiting linear reductions between NP problems.
منابع مشابه
Some #p-completeness Proofs for Colourings and Independent Sets
We consider certain counting problems involving colourings of graphs and independent sets in hypergraphs. Using polynomial interpolation techniques, we show that these problems are #P -complete. Therefore, e cient approximate counting is the most one can realistically expect to achieve. Rapidly mixing Markov chains which can be used for approximately solving these counting problems have been re...
متن کاملGraph Isomorphism is in the Low Hierarchy
The problem of determining whether two given finite graphs are isomorphic is easily seen to belong to the class NP. But up to now, no polynomial time algorithm is known. On the other hand, no NP-completeness proof is known either. That is, GRAPH ISOMORPHISM is one of the few “open problems” in NP according to Garey and Johnson’s terminology [9]. Note that GRAPH ISOMORPHISM is already mentioned ...
متن کاملComputational complexity of counting problems on 3-regular planar graphs
A variety of counting problems on 3-regular planar graphs are considered in this paper. We give a sufficient condition which guarantees that the coefficients of a homogeneous polynomial can be uniquely determined by its values on a recurrence sequence. This result enables us to use the polynomial interpolation technique in high dimension to prove the #P-completeness of problems on graphs with s...
متن کاملThe Complexity of Planar Counting Problems
We prove the #P-hardness of the counting problems associated with various satisfiability, graph, and combinatorial problems, when restricted to planar instances. These problems include 3Sat, 1-3Sat, 1-Ex3Sat, Minimum Vertex Cover, Minimum Dominating Set, Minimum Feedback Vertex Set, X3C, Partition Into Triangles, and Clique Cover. We also prove the NP-completeness of the Ambiguous Satisfiabilit...
متن کاملOn Listing, Sampling, and Counting the Chordal Graphs with Edge Constraints
We discuss the problems to list, sample, and count the chordal graphs with edge constraints. The edge constraints are given as a pair of graphs one of which contains the other and one of which is chordal, and the objects we look at are the chordal graphs contained in one and containing the other. This setting is a natural generalization of chordal completions and deletions. For the listing prob...
متن کامل